Sequential Channel Synthesis

Multi-channel Sequential Structure

We argue for the benefit of designing deep generative models through a mixedinitiative, co-creative combination of deep learning algorithms and human specifications, focusing on multi-channel music composition. Sequence models have shown convincing results in domains such as summarization and translation; however, longer-term structure remains a major challenge. Given lengthy inputs and outputs...

Sequential Rewriting and Synthesis

Present industrial applications require that logic synthesis should be scalable, which means that the algorithms used should have essentially linear complexity in circuit size. For this, we propose sequential rewriting and mapping with sequential choices. Sequential rewriting includes combinational rewriting and inherits its low computational complexity. During sequential rewriting, a history A...

Scalably-Verifiable Sequential Synthesis

This report is a case-study of the synergy between sequential synthesis and verification. Described is an efficient implementation of a sequential synthesis that uses simple induction to detect and merge sequentially-equivalent registers and nodes in a sequential circuit with a given initial state. Since retiming is not performed, state-encoding, scan chains, and test vectors are essentially pr...

Synthesis and Characterization of PDMS/PAAc Sequential IPNs

Automatic Synthesis of Sequential Synchronizations

To compose sequential systems, designers usually have to devise a synchronization mechanism which coordinates constituents of the composition in order to achieve certain goals of computation. In this paper, we present a simple language for specifying sequential behaviors. An advantage of the language is that a speci cation of synchronization, when composition is required, can be easily obtained...